141. FINCAD ]computer file[ : fin-line analysis and synthesis for millimeter-wave applications software and user's manual
پدیدآورنده : Kumar, S. R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Design - Software ، Computer circuits,Design - Software ، Millimeter wave devices,، Great Britain - Economic policy - 9791-7991
رده :
TK
7876
.
K8
1996
142. FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference, Kanpur, India, December 2002 : proceedings
پدیدآورنده : Manindra Agrawal, Anil Seth )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2556
143. FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd conference, Mumbai, India, December 15-17, 2003: proceedings
پدیدآورنده : Paritosh K. Pandya, Jaikumar Radhakrishnan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2914
144. FST TCS 2001 : foundations of software technology and theoretical computer science : 21st conference, Bangalore, India, December 13-15, 2001 : proceedings
پدیدآورنده : Ramesh Hariharan, Madhavan Mukund, V. Vinay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2245
145. FST TCS 2000 : foundations of software technology and theoretical computer science : 20th conference, New Delhi, India, December 13-15, 2000 : proceedings
پدیدآورنده : Sanjiv Kapoor, Snajiva Prasad )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer science,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1974
146. FSTTCS 2004 : Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004 : proceedings
پدیدآورنده : Kamal Lodaya, Meena Mahajan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3328
147. Flowcharting : programming, software designing, and computer problem solving
پدیدآورنده : Bycer, Bernard B
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Flow charts,، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
B9
148. Flowcharting : programming, software designing, and computer problem solving
پدیدآورنده : Bycer, Bernard B.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Flow charts,، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
B9
149. Flowcharting: programming, software designing, and computer problem solving
پدیدآورنده : / Bernard B. Bycer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Flowcharts,Electronic digital computers - Programming
رده :
001
.
6423
B993f
150. Formal methods for software architectures :Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Congresses ، Real-time data processing,Congresses ، Formal methods )Computer science(,Congresses ، Computer systems,Congresses ، Computer software
رده :
QA
76
.
754
.
F67
2003
151. Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
پدیدآورنده : Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software,، Computer architecture,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2804
152. Foundations of Computer Software. Future Trends and Techniques for Development
پدیدآورنده : / Christine Choppy, Oleg Sokolsky
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
153. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
پدیدآورنده : / Radu Calinescu, Ethan Jackson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
154. Foundations of Software Technology and Theoretical Computer Scinece : 12th Conference New Delhi, India, December 18-20, 1992 : proceedings
پدیدآورنده : R. Shyamasundar )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
652
155. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
156. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
157. Foundations of software technology and theoretical Computer Science : sixth Conference, New Delhi; India, December 18-20, 1986: Proceedings
پدیدآورنده : edited by Kesav V. Nori
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
241
158. Foundations of software technology and theoretical computer science
پدیدآورنده : Kesav V. Nori
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Computer software-Congresses,Electronic data processing - Congresses
رده :
QA
76
.
751
.
F68
1986
159. Foundations of software technology and theoretical computer science :
پدیدآورنده : ed. by S.N. Maheshwari.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
160. Foundations of software technology and theoretical computer science
پدیدآورنده : V. Arvind, R. Ramanujam (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science, Congresses.,Computer software, Congresses.,Evolutionary programming (Computer science), Congresses.,Molecular computers, Congresses.,Quantum computers, Congresses.
